This thesis examines the prospects for mechanical procedures that can identify true, complete, universal, first-order logical theories on the basis of a complete enumeration of true atomic sentences. A sense of identification is defined that is more general than those which are usually studied in the learning theoretic and inductive inference literature. Some identification algorithms based on confirmation relations familiar in the philosophy of science are presented. Each of these algorithms is shown to identify all purely universal theories without function (...) symbols. It is demonstrated that no procedure can solve this universal theory inference problem in the more usual senses of identification. The question of efficiency for theory inference systems is addressed, and some definitions of limiting complexity are examined. It is shown that several aspects of obvious strategies for solving the universal theory inference problem are NP-hard. Finally, some non-worst case heuristic search strategies are examined in light of these NP-completeness results. These strategies are based upon an isomorphism between clausal entailments of a certain class and partition lattices, and are applicable to the improvement of earlier work on language acquisition and logical inductive inference. (shrink)

As moral injury is a still-emerging concept within the area of military mental health, prevalence estimates for moral injury and its precursor, potentially morally injurious events (PMIEs), remain unknown for many of the world’s militaries. The present study sought to estimate the prevalence of PMIEs in the Canadian Armed Forces (CAF), using data collected from CAF personnel deployed to Afghanistan, via logistic regressions controlling for relevant sociodemographic, military, and deployment characteristics. Analyses revealed that over 65% of CAF members reported exposure (...) to at least one event that would be considered a PMIE. The most commonly PMIEs individuals reported included seeing ill or injured women and children they were unable to help (48.4%), being unable to distinguish between combatants and non-combatants (43.6%), and finding themselves in a threatening situation where they were unable to respond due to the rules of engagement under which they were required to operate (35.4%). These findings provide support for both the presence of exposure to PMIEs in CAF members and the need for formal longitudinal data collection regarding PMIE exposure and moral injury development. (shrink)

This article constructively retrieves St. Anselm of Canterbury’s theory of retributive justice and provides a defense of what can be called the retributive model of hell. In the first part of this article, we develop the place of retributive punishment in Anselm’s thinking and discuss how and when retributive punishment is a good thing. In the second part, we apply Anselm’s thinking on retributive justice to the problem of hell and provide a defense of how hell, defined as a state (...) of receiving retributive, damnatory, and irreversible punishment, is good. We then address a series of objections. Despite some criticism that both Anselm and the retributive model of hell receive in the contemporary literature, Anselm’s account of retributive justice can make unique and constructive contributions to the contemporary discussion of hell; by retrieving and applying Anselm’s thought to the problem of hell, we intend to kill two birds with one stone. (shrink)

Applied ontologies have been used more and more frequently to enhance systems engineering. In this paper, we argue that adopting principles of ontological realism can increase the benefits that ontologies have already been shown to provide to the systems engineering process. Moreover, adopting Basic Formal Ontology (BFO), an ISO standard for top-level ontologies from which more domain specific ontologies are constructed, can lead to benefits in four distinct areas of systems engineering: (1) interoperability, (2) standardization, (3) testing, and (4) data (...) exploitation. Reaping these benefits in a model-based systems engineering (MBSE) context requires utilizing an ontology’s vocabulary when modeling systems and entities within those systems. If the chosen ontology abides by the principles of ontological realism, a semantic standard capable of uniting distinct domains, using BFO as a hub, can be leveraged to promote greater interoperability among systems. As interoperability and standardization increase, so does the ability to collect data during the testing and implementation of systems. These data can then be reasoned over by computational reasoners using the logical axioms within the ontology. This, in turn, generates new data that would have been impossible or too inefficient to generate without the aid of computational reasoners. (shrink)

We propose a domain-level ontology of plays for the facilitation of play-based collaborative autonomy among unmanned and manned-unmanned aircraft teams in the Army’s Unmanned Aircraft System (UAS) mission domain. We define a play as a type of plan that prescribes some pattern of intentional acts that are intended to reliably result in some goal in some competitive context, and which specifies one or more roles that are realized by those prescribed intentional acts. The ontology is well suited to be extended (...) to other types of military and nonmilitary unmanned vehicle operations. (shrink)

Predictable polarization is everywhere: we can often predict how people’s opinions, including our own, will shift over time. Extant theories either neglect the fact that we can predict our own polarization, or explain it through irrational mechanisms. They needn’t. Empirical studies suggest that polarization is predictable when evidence is ambiguous, that is, when the rational response is not obvious. I show how Bayesians should model such ambiguity and then prove that—assuming rational updates are those which obey the value of evidence—ambiguity (...) is necessary and sufficient for the rationality of predictable polarization. The main theoretical result is that there can be a series of such updates, each of which is individually expected to make you more accurate, but which together will predictably polarize you. Polarization results from asymmetric increases in accuracy. This mechanism is not only theoretically possible, but empirically plausible. I argue that cognitive search—searching a cognitively accessible space for a particular item—often yields asymmetrically ambiguous evidence, I present an experiment supporting its polarizing effects, and I use simulations to show how it can explain two of the core causes of polarization: confirmation bias and the group polarization effect. (shrink)

Discussion of partial grounds that aren't parts of full grounds; definition of full grounding in terms of partial grounding.

In a recent paper, Melchior pursues a novel argumentative strategy against the sensitivity condition. His claim is that sensitivity suffers from a ‘heterogeneity problem:’ although some higher-order beliefs are knowable, other, very similar, higher-order beliefs are insensitive and so not knowable. Similarly, the conclusions of some bootstrapping arguments are insensitive, but others are not. In reply, I show that sensitivity does not treat different higher-order beliefs differently in the way that Melchior states and that while genuine bootstrapping arguments have insensitive (...) conclusions, the cases that Melchior describes as sensitive ‘bootstrapping’ arguments don’t deserve the name, since they are a perfectly good way of getting to know their conclusions. In sum, sensitivity doesn’t have a heterogeneity problem. (shrink)

KK is the thesis that if you can know p, you can know that you can know p. Though it’s unpopular, a flurry of considerations has recently emerged in its favour. Here we add fuel to the fire: standard resources allow us to show that any failure of KK will lead to the knowability and assertability of abominable indicative conditionals of the form ‘If I don’t know it, p’. Such conditionals are manifestly not assertable—a fact that KK defenders can easily (...) explain. I survey a variety of KK-denying responses and find them wanting. Those who object to the knowability of such conditionals must either deny the possibility of harmony between knowledge and belief, or deny well-supported connections between conditional and unconditional attitudes. Meanwhile, those who grant knowability owe us an explanation of such conditionals’ unassertability—yet no successful explanations are on offer. Upshot: we have new evidence for KK. (shrink)

This paper is about guessing: how people respond to a question when they aren’t certain of the answer. Guesses show surprising and systematic patterns that the most obvious theories don’t explain. We argue that these patterns reveal that people aim to optimize a tradeoff between accuracy and informativity when forming their guess. After spelling out our theory, we use it to argue that guessing plays a central role in our cognitive lives. In particular, our account of guessing yields new theories (...) of belief, assertion, and the conjunction fallacy—the psychological finding that people sometimes rank a conjunction as more probable than one of its conjuncts. More generally, we suggest that guessing helps explain how boundedly rational agents like us navigate a complex, uncertain world. (shrink)

Do people tend to be overconfident? Many think so. They’ve run studies on whether people are calibrated: whether their average confidence in their opinions matches the proportion of those opinions that are true. Under certain conditions, people are systematically ‘over-calibrated’—for example, of the opinions they’re 80% confident in, only 60% are true. From this empirical over-calibration, it’s inferred that people are irrationally overconfident. My question: When and why is this inference warranted? Answering it requires articulating a general connection between being (...) rational and being right—something extant studies have not done. I show how to do so using the notion of deference. This provides a theoretical foundation for calibration research, but also reveals a flaw: the connection between being rational and being right is much weaker than is standardly assumed, since rational people can often be expected to be miscalibrated. Thus we can’t test whether people are overconfident by simply testing whether they are over-calibrated; instead, we must try to predict the rational deviations from calibration, and then compare those predictions to people’s performance. I show how this can be done—and that doing so complicates the interpretation of robust empirical effects. (shrink)

The peculiar case of Lehrer’s lawyer purports to describe a scenario in which a subject has a justified belief, indeed knowledge, despite the fact that their belief is not causally or counterfactually sustained by any good reasons for it. The case has proven controversial. While some agree with Lehrer’s assessment of the case, others disagree, leading to a schism among accounts of the basing relation. In this paper I aim to reconcile these camps and put simple causal and counterfactual accounts (...) of the basing relation back on the table, by arguing that Lehrer’s case is probably metaphysically impossible, but even if it isn’t, it is ambiguous between a psychologically implausible and a psychologically plausible reading, and this can account for the diverging intuitions that it generates. (shrink)

The gambler’s fallacy is the tendency to expect random processes to switch more often than they actually do—for example, to think that after a string of tails, a heads is more likely. It’s often taken to be evidence for irrationality. It isn’t. Rather, it’s to be expected from a group of Bayesians who begin with causal uncertainty, and then observe unbiased data from an (in fact) statistically independent process. Although they converge toward the truth, they do so in an asymmetric (...) way—ruling out “streaky” hypotheses more quickly than “switchy” ones. As a result, the majority (and the average) exhibit the gambler’s fallacy. If they have limited memory, this tendency persists even with arbitrarily-large amounts of data. Indeed, such Bayesians exhibit a variety of the empirical trends found in studies of the gambler’s fallacy: they expect switches after short streaks but continuations after long ones; these nonlinear expectations vary with their familiarity with the causal system; their predictions depend on the sequence they’ve just seen; they produce sequences that are too switchy; and they exhibit greater rates of gambler’s reasoning when forming binary predictions than when forming probability estimates. In short: what’s been thought to be evidence for irrationality may instead be rational responses to limited data and memory. (shrink)

Alfred Mele's deflationary account of self-deception has frequently been criticised for being unable to explain the “tension” inherent in self-deception. These critics maintain that rival theories can better account for this tension, such as theories which suppose self-deceivers to have contradictory beliefs. However, there are two ways in which the tension idea has been understood. In this article, it is argued that on one such understanding, Mele's deflationism can account for this tension better than its rivals, but only if we (...) reconceptualize the self-deceiver's attitude in terms of unwarranted degrees of conviction rather than unwarranted belief. This new way of viewing the self-deceiver's attitude will be informed by observations on experimental work done on the biasing influence of desire on belief, which suggests that self-deceivers don’t manage to fully convince themselves of what they want to be true. On another way in which this tension has been understood, this account would not manage so well, since on this understanding the self-deceiver is best interpreted as knowing, but wishing to avoid, the truth. However, it is argued that we are under no obligation to account for this since it is a characteristic of a different phenomenon than self-deception, namely, escapism. (shrink)

The Knowledge Norm of Assertion claims that it is proper to assert that p only if one knows that p. Though supported by a wide range of evidence, it appears to generate incorrect verdicts when applied to utterances of “I don't know.” Instead of being an objection to KNA, I argue that this linguistic data shows that “I don't know” does not standardly function as a literal assertion about one's epistemic status; rather, it is an indirect speech act that has (...) the primary illocutionary force of opting out of the speaker's conversational responsibilities. This explanation both reveals that the opt-out is an under-appreciated type of illocutionary act with a wide range of applications, and shows that the initial data in fact supports KNA over its rivals. (shrink)

This paper examines the interplay of semantics and pragmatics within the domain of film. Films are made up of individual shots strung together in sequences over time. Though each shot is disconnected from the next, combinations of shots still convey coherent stories that take place in continuous space and time. How is this possible? The semantic view of film holds that film coherence is achieved in part through a kind of film language, a set of conventions which govern the relationships (...) between shots. In this paper, we develop and defend a new version of the semantic view. We articulate it for a pair of conventions that govern spatial relations between viewpoints. One such rule is already well-known; sometimes called the "180° Rule," we term it the X-Constraint; to this we add a previously unrecorded rule, the T-Constraint. As we show, both have the effect, in different ways, of limiting the way that viewpoint can shift through space from shot to shot over the course of a film sequence. Such constraints, we contend, are analogous to relations of discourse coherence that are widely recognized in the linguistic domain. If film is to have a language, it is a language made up of rules like these. (shrink)

Explanationists about epistemic justification hold that justification depends upon explanatory considerations. After a bit of a lull, there has recently been a resurgence of defenses of such views. Despite the plausibility of these defenses, explanationism still faces challenges. Recently, T. Ryan Byerly and Kraig Martin have argued that explanationist views fail to provide either necessary or sufficient conditions for epistemic justification. I argue that Byerly and Martin are mistaken on both accounts.

A distinction can be made between those who think that self-deception is frequently intentional and those who don’t. I argue that the idea that self-deception has to be intentional can be partly traced to a particular invalid method for analyzing reflexive expressions of the form ‘Ving oneself’ (where V stands for a verb). However, I take the question of whether intentional self-deception is possible to be intrinsically interesting, and investigate the prospects for such an alleged possibility. Various potential strategies of (...) intentional self-deception are examined in relation to Alfred Mele’s suggestion that doing something intentionally implies doing it knowingly. It is suggested that the best prospects for an intentionalist theory of self-deception lie with a strategy involving the control of attention. (shrink)

Explanationism is a plausible view of epistemic justification according to which justification is a matter of explanatory considerations. Despite its plausibility, explanationism is not without its critics. In a recent issue of this journal T. Ryan Byerly and Kraig Martin have charged that explanationism fails to provide necessary or sufficient conditions for epistemic justification. In this article I examine Byerly and Martin’s arguments and explain where they go wrong.

Grounding and explanation are said to be intimately connected. Some even maintain that grounding just is a form of explanation. But grounding and explanation also seem importantly different—on the face of it, the former is ‘worldy’ or ‘objective’ while the latter isn’t. In this paper, we develop and respond to an argument to the effect that there is no way to fruitfully address this tension that retains orthodox views about grounding and explanation but doesn’t undermine a central piece of methodology, (...) namely that explanation is a guide to ground. (shrink)

A familiar puzzle about self-deception concerns how self-deception is possible in light of the paradoxes generated by a plausible way of defining it. A less familiar puzzle concerns how a certain type of self-deception—being self-deceived about one's own intentional mental state—is possible in light of a plausible way of understanding the nature of self-knowledge. According to this understanding, we ordinarily do not infer our mental states from evidence, but then it's puzzling how this sort of self-deception could occur given that (...) self-deception arises from the mistreatment of evidence. This article argues that to accommodate this kind of self-deception we should accept that sometimes ordinary self-knowledge is inferential, but that this idea needn’t be so unappealing. In particular, by showing that such inferential self-knowledge can be both ‘transparent’ and ‘direct’, the article argues that it need not imply having an abnormal, ‘alienated’ relation to the mental state. (shrink)

A generic grounding claim is a grounding claim that isn’t about any particular entity or fact. For example, consider the claim: an act is right in virtue of maximizing happiness. One natural idea is that generic grounding claims state mere regularities of ground. So if an act is right in virtue of maximizing happiness, then every possible right act is right in virtue of maximizing happiness. The generic claim generalizes over particular grounding relations. In this essay, I argue that this (...) simple story is wrong. Generic grounding claims are not merely quantificational; rather, they express real definitions, where real definitions are (in part) claims about essence. My view has two major upshots: ('i') it makes better sense of debates where generic grounding claims are at issue (like debates about moral laws); ('ii') it clarifies the distinction between reductive and non-reductive metaphysical theories. (shrink)

The mind-brain identity theory, the thesis that sensations are identical with properties or processes of the brain, was introduced into contemporary discussion by U.T. Place, Herbert Feigl, and J.J.C Smart in the 1950s. Despite its widespread rejection in the following decades, the identity theory has received several carefully articulated defenses in recent years. Aside from developing novel responses to well-known arguments against the identity theory, contemporary identity theorists have argued that the epistemological resources available to support the adoption of identities (...) are more plentiful than has often been supposed; further, they have argued that mind-brain identities allow for the resolution of otherwise intractable explanatory puzzles about the phenomenal properties of experience. From an epistemological perspective, identity theorists have thus argued that a central reason for believing theoretical identities—both mind-brain identities as well as more mundane identities such as water = H2O—stems from the explanatory power that they confer. Yet from an explanatory perspective, identity theorists have maintained that identities cannot themselves be explained; indeed, they have maintained that it is hardly intelligible to request an explanation for an identity. This paper considers these ideas draws out an important tension between them. The central claim is that insofar as identity theorists insist on the explanatorily efficacy of identities, they should concede that there is a good sense in which theoretical identities can be explained. However, it is moreover argued that this concession is not especially problematic and, indeed, ought to be welcomed by identity theorists. (shrink)

Als zu Beginn des Jahrhunderts der Realismus wieder ernst genommen wurde, gab es viele Philosophen, die sich mit der Ontologie der Wahrheit befaßten. Unabhängig von der Bestimmung der Wahrheit als Korrespondenzbeziehung wollten sie herausfinden, inwieweit zur Erklärung der Wahrheit von Sätzen besondere Entitäten herangezogen werden müssen. Einige dieser Entitäten, so zum Beispiel Bolzanos ‘Sätze an sich’, Freges ‘Gedanken’ oder die ‘propositions’ von Russell und Moore, wurden als Träger der Eigenschaften Wahrheit und Falschheit aufgefaßt. Einige Philosophen jedoch, wie Russell, Wittgenstein im (...) ›Tractatus‹ und Husserl in den ›Logischen Untersuchungen‹, argumentierten, zusätzlich zu den Wahrheitsträgern bzw. an ihrer Stelle müßten Entitäten angenommen werden, auf Grund deren Sätze und/oder ‘Propositionen’ wahr sind. Solchen Entitäten gab man verschiedene Namen, insbesondere ‘fact’, ‘Tatsache’, ‘state of affairs’ und ‘Sachverhalt’. 1 Wir wollen einer Entscheidung über die Angebrachtheit dieser Ausdrücke nicht vorgreifen und daher zunächst eine neutralere Terminologie verwenden: Alle Entitäten, die für diese zweite Rolle in Frage kommen, wollen wir ‘Wahrmacher’ nennen. (shrink)

Als zu Beginn des Jahrhunderts der Realismus wieder ernst genommen wurde, gab es viele Philosophen, die sich mit der Ontologie der Wahrheit befaßten. Unabhängig von der Bestimmung der Wahrheit als Korrespondenzbeziehung wollten sie herausfinden, inwieweit zur Erklärung der Wahrheit von Sätzen besondere Entitäten herangezogen werden müssen. Einige dieser Entitäten, so zum Beispiel Bolzanos ‘Sätze an sich’, Freges ‘Gedanken’ oder die ‘propositions’ von Russell und Moore, wurden als Träger der Eigenschaften Wahrheit und Falschheit aufgefaßt. Einige Philosophen jedoch, wie Russell, Wittgenstein im (...) ›Tractatus‹ und Husserl in den ›Logischen Untersuchungen‹, argumentierten, zusätzlich zu den Wahrheitsträgern bzw. an ihrer Stelle müßten Entitäten angenommen werden, auf Grund deren Sätze und/oder ‘Propositionen’ wahr sind. Solchen Entitäten gab man verschiedene Namen, insbesondere ‘fact’, ‘Tatsache’, ‘state of affairs’ und ‘Sachverhalt’. 1 Wir wollen einer Entscheidung über die Angebrachtheit dieser Ausdrücke nicht vorgreifen und daher zunächst eine neutralere Terminologie verwenden: Alle Entitäten, die für diese zweite Rolle in Frage kommen, wollen wir ‘Wahrmacher’ nennen. (shrink)

Despite being time-travel adventure series, both classic Doctor Who (1963-1989, 1996) and its reboot (2005-present) have not seen the development of a coherent ontology of time for their fictional universe. As such, it is extremely difficult to review established theories of the nature of time in an attempt to shoe-horn Doctor Who into an existing framework. Difficulties include the evolution of the views of the central character, the alien “Doctor,” from a position that insists “time can’t be rewritten” to its (...) opposite as well as a curious anthropomorphizing of the temporal through show concepts like “fixed points in time.” I argue that one way to draw a coherent philosophy of time from the program is to treat the Time Lords as establishing not only the possibility of time travel but also the universe’s timeline itself. This leads to an examination of four-dimensional realism as characterizing the ontology of Doctor Who’s fictive timeline. (shrink)

It seems that epistemically rational agents should avoid incoherent combinations of beliefs and should respond correctly to their epistemic reasons. However, some situations seem to indicate that such requirements cannot be simultaneously satisfied. In such contexts, assuming that there is no unsolvable dilemma of epistemic rationality, either (i) it could be rational that one’s higher-order attitudes do not align with one’s first-order attitudes or (ii) requirements such as responding correctly to epistemic reasons that agents have are not genuine rationality requirements. (...) This result doesn’t square well with plausible theoretical assumptions concerning epistemic rationality. So, how do we solve this puzzle? In this paper, I will suggest that an agent can always reason from infallible higher-order reasons. This provides a partial solution to the above puzzle. (shrink)

It is common to think of controlling tennis parents–the ones who push their children to succeed from a young age–as compromising their children’s well-being. But is this really the case? A look at the question of what makes any person’s life go well for her, as well as what does and doesn’t compromise well-being.

Un biologiste fait une découverte incompatible avec des conceptions religieuses de la vie bonne. En classe, un professeur d'université profite de son exposé magistral pour faire la promotion d'une idéologie politique. Un fonds de recherche des sciences sociales refuse de financer un projet visant à résoudre le problème de la sous-représentation des femmes en politique, affirmant qu'une telle recherche n'est pas scientifique. Tous ces exemples témoignent de l'interaction constante entre, d'une part, l'enseignement et la recherche scientifique, et d'autre part, les (...) enjeux normatifs au sein de sphères d'influence. Les sciences doivent-elles être neutres? La normativité des sciences est-elle inévitable? Et de quoi parle-t-on lorsque nous faisons référence à la neutralité scientifique? Cette entrée exposera les principales réponses à ces trois questions. Après avoir clarifié le cadre conceptuel et la problématique de cette entrée, nous explorerons les approches wébérienne et positiviste en faveur de la neutralité des sciences. Ces deux perspectives seront confrontées à divers objections, notamment celles du pragmatisme américain. En réponse à l’ethos mertonien des sciences, nous présenterons finalement la critique féministe selon laquelle les disciplines scientifiques ne peuvent pas faire l’économie d’objectifs éthiques, politiques ou sociaux. Pour des raisons de simplicité, cette entrée approfondira surtout des modèles et arguments issus de l’économie, de la biologie et des sciences de la santé, des disciplines ayant été au cœur des controverses entourant la neutralité des sciences. (shrink)

"Nothing Better Than Death" is a comprehensive analysis of the near-death experiences profiled on my website at www.near-death.com. This book provides complete NDE testimonials, summaries of various NDEs, NDE research conclusions, a question and answer section, an analysis of NDEs and Christian doctrines, famous quotations about life and death, a NDE bibliography, book notes, a list of NDE resources on the Internet, and a list of NDE support groups associated with IANDS.org - the International Association for Near-Death Studies. -/- The (...) unusual title of this book, "Nothing Better Than Death," was inspired by NDE experiencer Dr. Dianne Morrissey who once said, "If I lived a billion years more, in my body or yours, there's not a single experience on Earth that could ever be as good as being dead. Nothing." -/- Having read every NDE book I could get my hands on, I didn't want to create just another NDE book. My motivation was to give readers a large variety of information about NDEs challenging both the seasoned NDE enthusiast as well as the novice. This book gives readers the means to understand the NDE phenomenon from the perspective of a large number of some of the most profound NDEs ever documented. My hope is that you will enjoy this book, my labor of love, and that you will be truly blessed by the heavenly insights within it. (shrink)

How should a machine intelligence perform unsupervised structure discovery over streams of sensory input? One approach to this problem is to cast it as an apperception task [1]. Here, the task is to construct an explicit interpretable theory that both explains the sensory sequence and also satisfies a set of unity conditions, designed to ensure that the constituents of the theory are connected in a relational structure. However, the original formulation of the apperception task had one fundamental limitation: it assumed (...) the raw sensory input had already been parsed using a set of discrete categories, so that all the system had to do was receive this already-digested symbolic input, and make sense of it. But what if we don't have access to pre-parsed input? What if our sensory sequence is raw unprocessed information? The central contribution of this paper is a neuro-symbolic framework for distilling interpretable theories out of streams of raw, unprocessed sensory experience. First, we extend the definition of the apperception task to include ambiguous (but still symbolic) input: sequences of sets of disjunctions. Next, we use a neural network to map raw sensory input to disjunctive input. Our binary neural network is encoded as a logic program, so the weights of the network and the rules of the theory can be solved jointly as a single SAT problem. This way, we are able to jointly learn how to perceive (mapping raw sensory information to concepts) and apperceive (combining concepts into declarative rules). (shrink)

Ontologies are being developed throughout the biomedical sciences to address standardization, integration, classification and reasoning needs against the background of an increasingly data-driven research paradigm. In particular, ontologies facilitate the translation of basic research into benefits for the patient by making research results more discoverable and by facilitating knowledge transfer across disciplinary boundaries. Addressing and adequately treating mental illness is one of our most pressing public health challenges. Primary research across multiple disciplines such as psychology, psychiatry, biology, neuroscience and pharmacology (...) needs to be integrated in order to promote a more comprehensive understanding of underlying processes and mechanisms, and this need for integration only becomes more pressing with our increase in understanding of differences among individuals and populations at the molecular level concerning susceptibility to specific illnesses. Substance addiction is a particularly relevant public health challenge in the developed world, affecting a substantial percentage of the population, often co-morbid with other illnesses such as mood disorders. Currently, however, there is no straightforward automated method to combine data of relevance to the study of substance addiction across multiple disciplines and populations. In this contribution, we describe a framework of interlinked, interoperable bio-ontologies for the annotation of primary research data relating to substance addiction, and discuss how this framework enables easy integration of results across disciplinary boundaries. We describe entities and relationships relevant for the description of addiction within the Mental Functioning Ontology, Chemical Entities of Biological Interest Ontology, Protein Ontology, Gene Ontology and the Neuroscience Information Framework ontologies. (shrink)

We argue that explanationist views in epistemology continue to face persistent challenges to both their necessity and their sufficiency. This is so despite arguments offered by Kevin McCain in a paper recently published in this journal which attempt to show otherwise. We highlight ways in which McCain’s attempted solutions to problems we had previously raised go awry, while also presenting a novel challenge for all contemporary explanationist views.

The Emotion Ontology is an ontology covering all aspects of emotional and affective mental functioning. It is being developed following the principles of the OBO Foundry and Ontological Realism. This means that in compiling the ontology, we emphasize the importance of the nature of the entities in reality that the ontology is describing. One of the ways in which realism-based ontologies are being successfully used within biomedical science is in the annotation of scientific research results in publicly available databases. Such (...) annotation enables several objectives, including searching, browsing and cross-database data integration. A key benefit conferred by realismbased ontology is that suitably annotated research results are able to be aggregated and compared in a fashion that is based on the underlying reality that the science is studying. This has the potential of increasing the power of statistical analysis and meta-analysis in data-driven science. This aspect has been fruitfully exploited in the investigation of the functions of genes in molecular biology. Cognitive neuroscience uses functional neuroimaging to investigate the brain correlates of areas of mental functioning such as memory, planning and emotion. The use of functional neuroimaging to study affective phenomena such as the emotions is called ‘affective neuroscience’. BrainMap is the largest curated database of coordinates and metadata for studies in cognitive neuroscience, including affective neuroscience (Laird et al., 2005). BrainMap data is already classified and indexed using a terminology for classification, called the ‘Cognitive Paradigm Ontology’ (CogPO), that has been developed to facilitate searching and browsing. However, CogPO has been developed specifically for the BrainMap database, and the data are thus far not annotated to a realism-based ontology which would allow the discovery of interrelationships between research results across different databases on the basis of what the research is about. In this contribution, we describe ongoing work that aims to annotate affective neuroscience data, starting with the BrainMap database, using the Emotion Ontology. We describe our objectives and technical approach to the annotation, and mention some of the challenges. (shrink)

I would like to assume that Reichenbach's distinction of Justification and Discovery lives on, and to seek arguments in his texts that would justify their relevance in this field. The persuasive force of these arguments transcends the contingent circumstances apart from which their genesis and local transmission cannot be made understandable. I shall begin by characterizing the context distinction as employed by Reichenbach in "Experience and Prediction" to differentiate between epistemology and science (1). Following Thomas Nickles and Kevin T. (...) Kelly, one can distinguish two meanings of the context distinction in Reichenbach's work. One meaning, which is primarily to be found in the earlier writings, conceives of scientific discoveries as potential objects of epistemological justification. The other meaning, typical for the later writings, removes scientific discoveries from the possible domain of epistemology. The genesis of both meanings, which demonstrates the complexity of the relationships obtaining between epistemology and science, can be made understandable by appealing to the historical context (2). Both meanings present Reichenbach with the task of establishing the autonomy of epistemology through the justification of induction. Finally, I shall expound this justification and address some of its elements of rationality characterizing philosophy of science(3). (shrink)

Hàng năm, việc công bố danh sách các nhà nghiên cứu thuộc tốp 100 ngàn các nhà nghiên cứu có trích dẫn khoa học hàng đầu thế giới theo Cơ sở dữ liệu Scopus là vấn đề rất được cộng đồng khoa học quan tâm. -/- Năm 2021, kết quả này đã tiếp tục được công bố bởi nhóm tác giả gồm TS. John P. A. Ioannidis (giáo sư thực thụ về y khoa, nghiên cứu sức khỏe và chính sách, (...) khoa học dữ liệu y sinh và thống kê học thuộc Đại học Stanford, Mỹ), Jeroen Baas (giám đốc dữ liệu của Nhà xuất bản Elsevier, Hà Lan) và TS. Kevin Boyack (giám đốc điều hành của Công ty SciTech Strategies, Mỹ; chuyên về trắc lượng khoa học). -/- Việc sử dụng Cơ sở dữ liệu Scopus thuộc Nhà xuất bản Elsevier của Hà Lan làm cho kết quả của nhóm tác giả trở nên tin cậy và có ảnh hưởng sâu rộng trong cộng đồng khoa học thế giới bởi lẽ Scopus là một trong hai cơ sở dữ liệu khoa học uy tín nhất trên thế giới hiện nay, bên cạnh Cơ sở dữ liệu Web of Science của Mỹ. -/- Trong năm nay, nhóm tác giả trên công bố các danh sách các nhà nghiên cứu có trích dẫn khoa học cao thuộc tốp 100.000 hoặc tốp 2% trên toàn thế giới gồm xét theo thành tựu trọn đời, thành tựu năm gần nhất và thành tựu theo chuyên ngành. (shrink)

This paper discusses Kevin Kelly’s recent attempt to justify Ockham’s Razor in terms of truth-finding efficiency. It is argued that Kelly’s justification fails to warrant confidence in the empirical content of theories recommended by Ockham’s Razor. This is a significant problem if, as Kelly and many others believe, considerations of simplicity play a pervasive role in scientific reasoning, underlying even our best tested theories, for the proposal will fail to warrant the use of these theories in (...) practical prediction. (shrink)

There is strong disagreement about whether indicative conditionals have truth values. In this paper, I present a new argument for the conclusion that indicative conditionals have truth values based on the claim that some true statements entail indicative conditionals. I then address four arguments that conclude that indicative conditionals lack truth values, showing them to be inadequate. Finally, I present further benefits to having a worldly view of conditionals, which supports the assignment of truth values to indicative conditionals. I conclude (...) that certain types of account of indicative conditionals, which have been ignored in the literature partly on the basis of assigning truth values to indicative conditionals, deserve consideration. (shrink)

Thick terms and concepts, such as honesty and cruelty, are at the heart of a variety of debates in philosophy of language and metaethics. Central to these debates is the question of how the descriptive and evaluative components of thick concepts are related and whether they can be separated from each other. So far, no empirical data on how thick terms are used in ordinary language has been collected to inform these debates. In this paper, we present the first empirical (...) study, designed to investigate whether the evaluative component of thick concepts is communicated as part of the semantic meaning or by means of conversational implicatures. While neither the semantic nor the pragmatic view can fully account for the use of thick terms in ordinary language, our results do favour the semanticist interpretation: the evaluation of a thick concept is only slightly easier to cancel than semantically entailed content. We further discovered a polarity effect, demonstrating that how easily an evaluation can be cancelled depends on whether the thick term is of positive or negative polarity. (shrink)

Argument that full grounds modally entail what they ground.

Characterization of a form of explanation involving grounding on the model of mechanistic causal explanation.

Discussion of the challenge that acquaintance with the nature of experience poses to physicalism.

The Lockean Thesis says that you must believe p iff you’re sufficiently confident of it. On some versions, the 'must' asserts a metaphysical connection; on others, it asserts a normative one. On some versions, 'sufficiently confident' refers to a fixed threshold of credence; on others, it varies with proposition and context. Claim: the Lockean Thesis follows from epistemic utility theory—the view that rational requirements are constrained by the norm to promote accuracy. Different versions of this theory generate different versions of (...) Lockeanism; moreover, a plausible version of epistemic utility theory meshes with natural language considerations, yielding a new Lockean picture that helps to model and explain the role of beliefs in inquiry and conversation. Your beliefs are your best guesses in response to the epistemic priorities of your context. Upshot: we have a new approach to the epistemology and semantics of belief. And it has teeth. It implies that the role of beliefs is fundamentally different than many have thought, and in fact supports a metaphysical reduction of belief to credence. (shrink)

Discussion of a metaphysical sense of 'inheritance' and cognate notions relevant to fundamentality.

Amendment of the Witmer, Butchard, and Trogdon (2005) account of intrinsic properties with the aim of neutrality between competing theories of what is fundamental.

Argument that priority monism is best understood as being a contingent thesis.

This papers discuss the place, if any, of Convention T (the condition of material adequacy of the proper definition of truth formulated by Tarski) in the truth-makers account offered by Kevin Mulligan, Peter Simons and Barry Smith. It is argued that although Tarski’s requirement seems entirely acceptable in the frameworks of truth-makers theories for the first-sight, several doubts arise under a closer inspection. In particular, T-biconditionals have no clear meaning as sentences about truth-makers. Thus, truth-makers theory cannot be considered (...) as the semantic theory of truth enriched by metaphysical (ontological) data. The problem of truth-makers for sentences about future events is discussed at the end of the paper. (shrink)

Defense of a psychological account of what it is for an artwork to be complete.

Sosa, Pritchard, and Vogel have all argued that there are cases in which one knows something inductively but does not believe it sensitively, and that sensitivity therefore cannot be necessary for knowledge. I defend sensitivity by showing that inductive knowledge is sensitive.